Remove hand-written node pointers in doc/misc/wisent.texi
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 20:19:41 +0000 (12:19 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 20:19:41 +0000 (12:19 -0800)
commit446abfb08a5a531b9f2d14c85ccceebb34d33bfd
tree132f676e0b37a46da892f67abc13180ec9131bd5
parent2b8cfacc392738aee4f066a0f9fa0167e847e55d
Remove hand-written node pointers in doc/misc/wisent.texi
doc/misc/ChangeLog
doc/misc/wisent.texi